Les contraintes table fragmentées : Combiner la compression et la réduction tabulaire

نویسندگان

  • Nebras Gharbi
  • Fred Hemery
  • Christophe Lecoutre
  • Olivier Roussel
چکیده

Many industrial applications require the use of table constraints (e.g., in configuration problems), sometimes of significant size. During the recent years, researchers have focused on reducing space and time complexities of this type of constraint. Static and dynamic reduction based approaches have been proposed giving new compact representations of table constraints and effective filtering algorithms. In this paper, we study the possibility of combining both static and dynamic reduction techniques by proposing a new compressed form of table constraints based on frequent pattern detection, and exploiting it in STR (Simple Tabular Reduction).

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Consistance d’arc par MDD-réduction

Dans cet article, nous présentons MDDR, un nouvel algorithme de révision de contraintes définies sous forme de diagramme de décision multi-valué (MDD). En réalisant des copies partielles à la volée des MDD modifiés au cours de la recherche, MDDR parvient à une meilleure incrémentalité que MDDC proposé par Cheng & Yap en 2010 [2]. La meilleure incrémentalité, couplée à la nouvelle possibilité d’...

متن کامل

Conception Par Objets D'un Syst Eme Pour Combiner Raisonnement Formel Et Satisfaction De Contraintes

La programmation par satisfaction de contraintes (CSP) est un outil puissant qui permet de r esoudre de nombreux probl emes combinatoires. Cependant, il existe des situations dans lesquelles un raisonnement formel sur les contraintes trouve le r esultat plus vite et plus facilement que les techniques classiques de CSP. Dans cette optique, nous reconstruisons le syst eme Alice, qui proposait de ...

متن کامل

Janvier 1997 { Journ Ees Francophones Des Langages Applicatifs { Jfla97 Conception De Probl Emes Par Objets Et Contraintes

Plusieurs syst emes proposent l'int egration d'algorithmes de satisfaction de contraintes au sein de langages a objets, mais le probl eme de la conception a l'aide de tels syst emes reste peu abord e. Nous nous int eressons ici a la conception de probl emes mettant en uvre des objets composites et des contraintes portant a la fois sur des objets composites et sur des composants. Nous identiions...

متن کامل

Reformulation de problèmes de satisfaction de contraintes basée sur des métamodèles

Un des challenges importants en programmation par contraintes est la reformulation de modèles déclaratifs en programmes exécutables permettant de calculer leurs solutions. Cette phase peut nécessiter de faire des traductions entre les langages de la programmation par contraintes, de changer la représentation des contraintes ou d’optimiser les modèles et de paramétrer les stratégies de recherche...

متن کامل

Étude de l'interaction entre variables pour l'extraction des règles d'influence

Résumé. Cet article présente une méthode efficace pour l’extraction de règles d’influence quantitatives positives et négatives. Ces règles d’influence introduisent une nouvelle sémantique qui vise à faciliter l’analyse d’un volume important de données. Cette sémantique fixe la direction de la règle entre deux variables en positionnant, au préalable, l’une comme étant l’influent et l’autre comme...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014